Qualification Test

Section 1: Little Knowledge

This section tests your understanding of basic ontology components and the ability to recognise them in graphical and textual representations.

Consider the model, represented in 3 equivalent formalisms (VOWL | Rector | Warren) and answer questions 1 & 2 below.

VOWL	Rector
	PersonTypeA has, amongst other things, some daughters, and some sons, and also only dog pets.
	Warren
	PersonTypeA has, amongst other things, at least one daughter, at least one son, and also no other than dog pets.

1. Identify the main model components from the model

How many named classes can you identify from the model?

How many relations can you identify from the model?

2. Identifying the different quantifiers from the model

How many universal restrictions (owl:allValuesFrom) can you identify in the model?

How many existential restrictions (owl:someValuesFrom) can you identify in the model?

Continue to Section 2

Section 2: Some Knowledge

This section tests your understanding of the implications of ontology axioms and restrictions.

Consider the model, represented in 3 equivalent formalisms (VOWL | Rector | Warren) and answer question 3 below.

VOWL	Rector
	PetLoverTypeA has, amongst other things, only Dog pets.
	Warren
	PetLoverTypeA has, amongst other things, no other than Dog pets.

3. Select the statement that describes instances of PetLoverTypeA correctly.

Instances of PetLoverTypeA must have a Dog pet and cannot have other types of pets.
Instances of PetLoverTypeA might not have a Dog pet and cannot have other types of pets.
Instances of PetLoverTypeA must have a Dog pet and can also have other types of pets.
Instances of PetLoverTypeA might not have a Dog pet and can also have other types of pets.

---

Consider the model, represented in 3 equivalent formalisms (VOWL | Rector | Warren) and answer question 4 below.

VOWL	Rector
	PetLoverTypeB has, amongst other things, some Cat pets.
	Warren
	PetLoverTypeB has, amongst other things, at least one Cat pet.

4. Select the statement that describes instances of PetLoverTypeB correctly.

Instances of PetLoverTypeB must have a Cat pet and cannot have other types of pets.
Instances of PetLoverTypeB might not have a Cat pet and cannot have other types of pets.
Instances of PetLoverTypeB must have a Cat pet and can also have other types of pets.
Instances of PetLoverTypeB might not have a Cat pet and can also have other types of pets.

---

Consider the model, represented in 3 equivalent formalisms (VOWL | Rector | Warren) and answer question 5 below.

VOWL	Rector
	PetLoverTypeC has, amongst other things, only Cat pets and only Dog pets. There are no individuals that can be both of type Dog and type Cat.
	Warren
	PetLoverTypeC has, amongst other things, no other than Cat pets and no other than Dog pets. There are no individuals that can be both of type Dog and type Cat.

5. Select the statement that correctly represents instances of PetLoverTypeC.

Instances of PetLoverTypeC must have 2 pets - a Dog and a Cat.
Instances of PetLoverTypeC might have 2 pets - a Dog and a Cat but also might not have any pets.
Instances of PetLoverTypeC cannot have any pets.
Instances of PetLoverTypeC could have 0 to n pets from type Cat or 0 to n pets from type Dog but not both.

Continue to Section 3

Section 3: Expert Knowledge

This section tests your ability to reason with ontology models, as well as compare and relate them to each other.

Consider models A and B both describing PetLoverTypeE, each represented in 3 equivalent formalisms (VOWL | Rector | Warren) and answer question 6 below.

Model A: PetLoverTypeE	Model B: PetLoverTypeE
VOWL	VOWL
Rector	Rector
PetLoverTypeE has, amongst other things, some Cat pets and some Dog pets and also only Cat and Dog pets.	PetLoverTypeE has, amongst other things, some Cat pets and some Dog pets.
Warren	Warren
PetLoverTypeE has, amongst other things, at least one Cat pet and at least one Dog pet and also no other than Cat and Dog pets.	PetLoverTypeE has, amongst other things, at least one Cat pet and at least one Dog pet.

6. Select the correct statement about models A and B describing PetLoverTypeE.

Model A allows for instances of PetLoverTypeE to have a pet that is neither a Dog nor a Cat.
Model B allows for instances of PetLoverTypeE to have a pet that is neither a Dog nor a Cat.
None of the models allow for instances of PetLoverTypeE to have a pet that is neither a Dog nor a Cat.
Both models allow for instances of PetLoverTypeE to have a pet that is neither a Dog nor a Cat.

---

Consider models A and B describing PetLoverTypeD and PerLoverTypeF, each represented in 3 equivalent formalisms (VOWL | Rector | Warren) and answer question 7 below.

Model A: PetLoverTypeD	Model B: PerLoverTypeF
VOWL	VOWL
Rector	Rector
PetLoverTypeD has, amongst other things, some pets that are not Dogs.	PetLoverTypeF has, amongst other things, only Dog pets.
Warren	Warren
PetLoverTypeD has, amongst other things, at least one pet that is not a Dog.	PetLoverTypeF has, amongst other things, no other than Dog pets.

7. Is it true that PetLoverTypeD is disjoint to PetLoverTypeF? That is, there can be no instance that is at the same time of type PetLoverTypeD and PetLoverTypeF.

Yes
No

---

Consider models A and B describing PetLoverTypeG and PerLoverTypeF, each represented in 3 equivalent formalisms (VOWL | Rector | Warren) and answer question 8 below.

Model A: PetLoverTypeG	Model B: PerLoverTypeF
VOWL	VOWL
Rector	Rector
PetLoverTypeG has, amongst other things, only pets that are not Dogs.	PetLoverTypeF has, amongst other things, only Dog pets.
Warren	Warren
PetLoverTypeG has, amongst other things, pets that are no other than not Dogs.	PetLoverTypeF has, amongst other things, no other than Dog pets.

8. Is it true that PetLoverTypeG is disjoint to PetLoverTypeF? That is, there can be no instance that is at the same time of type PetLoverTypeG and PetLoverTypeF.

Yes
No

---

Consider models A and B describing PetLoverTypeD and PerLoverTypeH, each represented in 3 equivalent formalisms (VOWL | Rector | Warren) and answer question 9 below.

Model A: PetLoverTypeD	Model B: PerLoverTypeH
VOWL	VOWL
Rector	Rector
PetLoverTypeD has, amongst other things, some pets that are not Dogs.	PetLoverTypeH has, amongst other things, some Dog pets.
Warren	Warren
PetLoverTypeD has, amongst other things, at least one pet that is not a Dog.	PetLoverTypeH has, amongst other things, at least one Dog pet.

9. Is it true that PetLoverTypeD is disjoint to PetLoverTypeH? That is, there can be no instance that is at the same time of type PetLoverTypeD and PetLoverTypeH.

Yes
No